-
1 rewriting system
Англо-русский словарь промышленной и научной лексики > rewriting system
-
2 метод
м. method; procedure; technique
См. также в других словарях:
ТУЭ СИСТЕМА — ассоциативное исчисление, названное по имени А. Туэ, к рый впервые сформулировал проблему распознавания равенства слов в ассоциативных системах (проблема Туэ, см. [1]). Если при задании Т. с. допустимыми подстановками считать только подстановки… … Математическая энциклопедия
ТУЭ ПОЛУСИСТЕМА — полу Туэ система, система подстановок см. Туэ система … Математическая энциклопедия
ГРУППА — один из основных типов алгебраических систем. Теория Г. изучает в самой общей форме свойства алгебраич. операций, наиболее часто встречающихся в математике и ее приложениях (примеры таких операций умножение чисел, сложение векторов,… … Математическая энциклопедия
ИМПРИМИТИВНАЯ ГРУППА — группа Gвзаимно однозначных отображений на себя ( подстановок )нек рого множества S, для к рой существует разбиение множества Sв объединение непересекающихся подмножеств S1, . . ., Sm, обладающее следующими свойствами: число элементов хотя бы в… … Математическая энциклопедия
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия
МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных … Математическая энциклопедия
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
История математики — История науки … Википедия
Математика Древнего Востока — История науки По тематике Математика Естественные науки … Википедия
АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… … Математическая энциклопедия
Шифрование в аналоговой телефонии — Эта статья должна быть полностью переписана. На странице обсуждения могут быть пояснения. Существуют два класса систем связи: цифровые и аналоговые … Википедия